Knowledge Representation and Reasoning Seminar Series

For each seminar, we would propose that one group member *informally* presents, in at most 30 minutes, their ongoing research. You can use slides, if you wish, but it is not necessary. A whiteboard is also available, in case you need it. After the presentation, we would open the meeting up for discussion. Please bear in mind that other group members may not be familiar with your area of research, so don't forget to make your presentation accessible to all! 

We hope these meetings will allow us to learn about ongoing research in the group, socialise, provide support to each other, and start new collaborations! We are planning to have a meeting every second week on Tuesdays 11:00 am in room 441 of the Department.

We offer online access to the meetings; please let us know if you wish to join, and we will send you the link for the meeting. It would be great to see you all in person, though! 

Please let us know if you would like to volunteer to present for our upcoming meetings, and do not hesitate to contact the organisers if you have any questions.

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

There are no upcoming seminars in this series at this time. Please check again soon.

• 27Jun2023
  TBA

  11:00 Tuesday 27th June ( week 10, Trinity Term 2023 ) in Room 441
• 13Jun2023
  Time Prediction on Temporal Knowledge Graphs

  11:00 Tuesday 13th June ( week 8, Trinity Term 2023 ) in Room 441

  Roxana Pop ( University of Oslo )
• 30May2023
  TBA

  11:00 Tuesday 30th May ( week 6, Trinity Term 2023 ) in Room 441
• 16May2023
  On the Power of LTLf in Assured Autonomy

  11:00 Tuesday 16th May ( week 4, Trinity Term 2023 ) in Room 441

  Shufang Zhu
• 21Mar2023
  Cyclic proof systems for the alternation-free modal fixpoint logic

  11:00 Tuesday 21st March ( week 10, Hilary Term 2023 ) in Room 051

  Johannes Marti
• 28Feb2023
  Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals

  11:00 Tuesday 28th February ( week 7, Hilary Term 2023 ) <meta itemprop="location" content="TBA"/>

  Przemysław Wałęga
• 14Feb2023
  From Query-Driven Snippet Generation to Content-based (RDF) Dataset Search

  11:00 Tuesday 14th February ( week 5, Hilary Term 2023 ) in Room 441

  Xiaxia Wang
• 31Jan2023
  Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs

  11:00 Tuesday 31st January ( week 3, Hilary Term 2023 ) in Room 441

  Dingmin Wang
• 29Nov2022
  The Logical Expressiveness of Monotonic Recurrent RGCNs

  11:00 Tuesday 29th November ( week 8, Michaelmas Term 2022 ) in Room 441

  Max Pflueger
• 15Nov2022
  Language Model Analysis for Ontology Semantics

  11:00 Tuesday 15th November ( week 6, Michaelmas Term 2022 ) in Room 441

  Yuan He
• 1Nov2022
  Revisiting Knowledge Graph completion methods using inferential benchmarks

  11:00 Tuesday 1st November ( Michaelmas Term 2022 ) in Room 441

  Shuwen Liu
• 18Oct2022
  Minimal explanations for neural network predictions and potential applications

  11:00 Tuesday 18th October ( Michaelmas Term 2022 ) in Room 441

  Ouns El Harzli
• 4Oct2022
  Enhancing Datalog Reasoning with Hypertree Decompositions

  11:00 Tuesday 4th October ( Michaelmas Term 2022 ) in Room 441

  Xinyue Zhang